1. Algebra and coalgebra in computer science
پدیدآورنده : / Alexander Kurz, Marina Lenisa, Andrzej Tarlecki (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer science--Mathematics--Congresses,Algebra--Congresses,Formale Methode--Kongress--Udine <2009>,Theoretische Informatik--Algebra--Kongress--Udine <2009>,Theoretische Informatik--Koalgebra--Kongress--Udine <2009>,Algebra.--swd,Formale Methode.--swd,Koalgebra.--swd,Theoretische Informatik.--swd,Kongress.--swd,Udine (2009)--swd
رده :
QA
,
76
.
9
,.
M35
,
C33
,
2009
2. Algebra and coalgebra in computer science
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Congresses. ; Algebra ; Congresses. ; Formale Methode ; Kongress ; Udine <2009> ; Theoretische Informatik ; Algebra ; Kongress ; Udine <2009> ; Theoretische Informatik ; Koalgebra ; Kongress ; Udine <2009> ; Algebra. ; swd
3. Algorithmische Konzepte der Informatik :
پدیدآورنده : Juraj Hromkovič.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithmus -- 0 Gesamtdarstellung.,Theoretische Informatik,Theoretische Informatik.
4. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lund <1993>,Theoretische Informatik.
5. Fete of combinatorics and computer science
پدیدآورنده : Gyula O.H. Katona, Alexander Schrijver, Tamas Szionyi (eds.)
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Combinatorial analysis,Computer science- Mathematics,Kombinatorik,Theoretische Informatik,Keszthely,Kongress
رده :
QA
،
164
،.
F484
،
2010
6. Grundbegriffe der Theoretischen Informatik
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Informatik,Theoretische Informatik
7. Grundkurs Informatik - Das Übungsbuch
پدیدآورنده : Jochen Schmidt
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Informatik,Informatikstudium,Theoretische Informatik
8. Grundkurs theoretische Informatik :
پدیدآورنده : Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Theoretische Informatik -- Lehrbuch.,Theoretische Informatik.
9. Grundlagen der theoretischen Informatik mit Anwendungen :
پدیدآورنده : Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Theoretische Informatik.
10. Grundlagen der theoretischen Informatik mit Anwendungen :
پدیدآورنده : Gottfried Vossen ; Kurt-Ulrich Witt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Theoretische Informatik.
رده :
QA76
.
G688
2002
11. Mathematical and Engineering Methods in Computer Science :
پدیدآورنده : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME,SPEZIELLE PROGRAMMIERMETHODEN,THEORETISCHE INFORMATIK
رده :
QA75
.
5
T456
2013
12. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
13. The pillars of computation theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Theoretische Informatik. ; swd. ;
14. The pillars of computation theory
پدیدآورنده : Arnold L. Rosenberg
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Computational complexity,Theoretische Informatik., swd
رده :
QA
،
267
.
7
،.
R67
،
2010
15. The pillars of computation theory
پدیدآورنده : / Arnold L. Rosenberg
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computational complexity,Theoretische Informatik., swd
رده :
E-BOOK